|
1.
|
Elements of Computer Security [electronic resource] / by David Salomon.
by Salomon, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2010Online access: Click here to access online Availability: No items available
|
|
2.
|
Rigorous Software Development [electronic resource] : An Introduction to Program Verification / by José Bacelar Almeida, Maria João Frade, Jorge Sousa Pinto, Simão Melo de Sousa.
by Almeida, José Bacelar | Frade, Maria João | Pinto, Jorge Sousa | Melo de Sousa, Simão | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
3.
|
Introduction to the Theory of Programming Languages [electronic resource] / by Gilles Dowek, Jean-Jacques Lévy.
by Dowek, Gilles | Lévy, Jean-Jacques | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
4.
|
Proofs and Algorithms [electronic resource] : An Introduction to Logic and Computability / by Gilles Dowek.
by Dowek, Gilles | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
5.
|
Introduction to Software Process Improvement [electronic resource] / by Gerard O'Regan.
by O'Regan, Gerard | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
6.
|
Core Concepts in Data Analysis: Summarization, Correlation and Visualization [electronic resource] / by Boris Mirkin.
by Mirkin, Boris | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
7.
|
Introduction to Artificial Intelligence [electronic resource] / by Wolfgang Ertel.
by Ertel, Wolfgang | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
8.
|
Analysis for Computer Scientists [electronic resource] : Foundations, Methods, and Algorithms / by Michael Oberguggenberger, Alexander Ostermann.
by Oberguggenberger, Michael | Ostermann, Alexander | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
9.
|
Pattern Recognition [electronic resource] : An Algorithmic Approach / by M. Narasimha Murty, V. Susheela Devi.
by Murty, M. Narasimha | Devi, V. Susheela | SpringerLink (Online service). Edition: 1.Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
10.
|
Introduction to Compiler Design [electronic resource] / by Torben Ægidius Mogensen.
by Mogensen, Torben Ægidius | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
11.
|
Sensing and Systems in Pervasive Computing [electronic resource] : Engineering Context Aware Systems / by Dan Chalmers.
by Chalmers, Dan | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2011Online access: Click here to access online Availability: No items available
|
|
12.
|
Semantics with Applications: An Appetizer [electronic resource] / by Hanne Riis Nielson, Flemming Nielson.
by Nielson, Hanne Riis | Nielson, Flemming | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
|
|
13.
|
Object-Oriented Programming Languages: Interpretation [electronic resource] / by Iain D. Craig.
by Craig, Iain D | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
|
|
14.
|
Practical Distributed Processing [electronic resource] / by Phillip J. Brooke, Richard F. Paige.
by Brooke, Phillip J | Paige, Richard F | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
|
|
15.
|
Introduction to Operating System Design and Implementation [electronic resource] : The OSP 2 Approach / by Michael Kifer, Scott A. Smolka.
by Kifer, Michael | Smolka, Scott A | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2007Online access: Click here to access online Availability: No items available
|
|
16.
|
Sets, Logic and Maths for Computing [electronic resource] / by David Makinson.
by Makinson, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
17.
|
Introduction to Computer Graphics [electronic resource] : Using Java 2D and 3D / by Frank Klawonn.
by Klawonn, Frank | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
18.
|
A Concise Introduction to Data Compression [electronic resource] / by David Salomon.
by Salomon, David | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
19.
|
A Concise Introduction to Languages and Machines [electronic resource] / by Alan P. Parkes.
by Parkes, Alan P | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2008Online access: Click here to access online Availability: No items available
|
|
20.
|
Principles of Digital Image Processing [electronic resource] : Fundamental Techniques / by Wilhelm Burger, Mark James Burge.
by Burger, Wilhelm | Burge, Mark James | SpringerLink (Online service). Source: Springer eBooksMaterial type: Book; Format:
electronic
available online
; Literary form:
Not fiction
Publisher: London : Springer London, 2009Online access: Click here to access online Availability: No items available
|